pub type A
pub trait B {}